../utils/cnf-utils/xor_to_cnf_class.py